Explorer On the Ubiquity of Certain Total Type Structures : ( Extended
نویسنده
چکیده
We consider a simple and well-known category of alternating games (also known as sequential data structures) and several categories derived from it. In each case, we present an extension of Plotkin’s language FPC (or a suitable linearization thereof) which defines all computable strategies of appropriate types. The quest for such languages results in a novel selection of language primitives for state encapsulation, coroutining and backtracking.
منابع مشابه
On the Ubiquity of Certain Total Type Structures: (Extended Abstract)
We consider a simple and well-known category of alternating games (also known as sequential data structures) and several categories derived from it. In each case, we present an extension of Plotkin’s language FPC (or a suitable linearization thereof) which defines all computable strategies of appropriate types. The quest for such languages results in a novel selection of language primitives for...
متن کاملExact sequences of extended $d$-homology
In this article, we show the existence of certain exact sequences with respect to two homology theories, called d-homology and extended d-homology. We present sufficient conditions for the existence of long exact extended d- homology sequence. Also we give some illustrative examples.
متن کاملRealization of locally extended affine Lie algebras of type $A_1$
Locally extended affine Lie algebras were introduced by Morita and Yoshii in [J. Algebra 301(1) (2006), 59-81] as a natural generalization of extended affine Lie algebras. After that, various generalizations of these Lie algebras have been investigated by others. It is known that a locally extended affine Lie algebra can be recovered from its centerless core, i.e., the ideal generated by weight...
متن کاملNew analytical soliton type solutions for double layers structure model of extended KdV equation
In this present study the double layers structure model of extended Korteweg-de Vries(K-dV) equation will be obtained with the help of the reductive perturbation method, which admits a double layer structure in current plasma model. Then by using of new analytical method we obtain the new exact solitary wave solutions of this equation. Double layer is a structure in plasma and consists of two p...
متن کاملOn the ubiquity of certain total type structures
It is a fact of experience from the study of higher type computability that a wide range of approaches to defining a class of (hereditarily) total functionals over N leads in practice to a relatively small handful of distinct type structures. Among these are the type structure C of Kleene-Kreisel continuous functionals, its effective substructure C, and the type structure HEO of the hereditaril...
متن کامل